Partially complete sufficient statistics are jointly complete

Complete Groups Are Complete Co-analytic

The set of complete groups is a complete co-analytic subset of the standard Borel space of countably infinite groups.

Host and Symbiont Jointly Control Gut Microbiota during Complete Metamorphosis

Holometabolous insects undergo a radical anatomical re-organisation during metamorphosis. This poses a developmental challenge: the host must replace the larval gut but at the same time retain symbiotic gut microbes and avoid infection by opportunistic pathogens. By manipulating host immunity and bacterial competitive ability, we study how the host Galleria mellonella and the symbiotic bacteriu...

Ladders Are PSPACE-Complete

In the game of Go, the question of whether a ladder—a method of capturing stones—works, is shown to be PSPACE-complete. Our reduction closely follows that of Lichtenstein and Sipser [LS80], who first showed PSPACE-hardness of Go by letting the outcome of a game depend on the capture of a large group of stones. We achieve greater simplicity by avoiding the need for pipes and crossovers.

Are Your Requirements Complete?

Good requirements have several useful properties, such as being consistent, necessary, and unambiguous. Another essential characteristic that is almost always listed is that ‘requirements should be complete.’ But just what does completeness mean, and how should you ensure that your requirements are complete? In this column, we will begin to address these two questions by looking at (1) the impo...

Complete Issue 2016-2